tautologyhexa.err line 8: 'match if' with a constant boolean expression 0x1234 = 0x56789a
